abstract objective the great majority of patients with childhood leukemia become long-term survivors. they treated with chemotherapy and prophylactic central nervous system (cns) irradiation. the aim of this cross-sectional study was to evaluate effect of the long-term toxicity in all survivors, and possible effects of this treatment on their intellectual in compare with their sibling. material...

Abstract— This paper extends the quotient method proposed in [1] and applies it to stabilize a “ball-on-a-wheel” system. The quotient method requires a diffeomorphism to obtain the normal form of the input vector field and uses canonical projection to obtain the quotient. However, the whole process can be done without computing the normal form, which requires defining a quotient generating func...

the concept of right (left) quotient (or residual) of an ideal η by anideal ν of an l-subring μ of a ring r is introduced. the right (left) quotients areshown to be ideals of μ . it is proved that the right quotient [η :r ν ] of an idealη by an ideal ν of an l-subring μ is the largest ideal of μ such that[η :r ν ]ν ⊆ η . most of the results pertaining to the notion of quotients(or residual) of ...

In this paper we present an abstraction algorithm that produces a finite bisimulation quotient for an autonomous discrete-time linear system. We assume that the bisimulation quotient is required to preserve the observations over an arbitrary, finite number of polytopic subsets of the system state space. We generate the bisimulation quotient with the aid of a sequence of contractive polytopic su...

We obtain a new important basic result on splice-quotient singularities in an elegant combinatorial-geometric way: every level of the divisorial filtration of the ring of functions is generated by monomials of the defining coordinate functions. The elegant way is the language of of line bundles based on Okuma’s description of the function ring of the universal abelian cover. As an easy applicat...

We present an approach to veriication that combines the strengths of model-checking and theorem proving. We use theorem proving to show a bisimula-tion up to stuttering on a|potentially innnite-state|system. Our characterization of stuttering bisimulation allows us to do such proofs by reasoning only about single steps of the system. We present an on-they method that extracts the reachable quot...

We present an approach to verification that combines the strengths of model-checking and theorem proving. We use theorem proving to show a bisimulation up to stuttering on a—potentially infinite-state—system. Our characterization of stuttering bisimulation allows us to do such proofs by reasoning only about single steps of the system. We present an on-the-fly method that extracts the reachable ...

language and emotion are two related systems in use, in that one system (emotions) impacts the performance of the other (language). both of them share their functionality in communication. since the nature of foreign language classrooms is ideally interactional, emotional intelligence (ei) gains importance. the aim of this study was to find out whether one's total emotional quotient and its com...